-- BP 7.1.6 content: ModelClass syschar: 3 persistence-version: 7.1.6

INSERT INTO O_OBJ
	VALUES ("3211b8be-5c58-48da-be87-c27f6734f4f4",
	'Instantiation Verification',
	9,
	'IV',
	'Collect and verify all instantiations
   a. Instantiations occur on creation transitions or declaration of an
      instance variable.
   b. Ensure all unconditional relationships are satisfied within the atomic
      process that caused instantiation.
      i. No asynchronous calls occur before all unconditional relationships are
         satisfied.
      ii. Creation events atomicity is defined by entry state, but rule on
          self-directed events will allow satisfaction to span mutiple states.
   c. Identifying creations
      i. Instance creation
         A. requires an object reference
         B. doesn''t require variable assignment Ex. <obj ref>[10] could create
            10 unassigned instances.
      ii. Event creation
         A. Should be identifiable from state model.
         B. Might have keyword.
         C. Doesn''t participate in variable assignment. (asynchronous) 
         D. Creation state calls within the same state model are part of
            atomicity?',
	"00000000-0000-0000-0000-000000000000");
INSERT INTO O_REF
	VALUES ("3211b8be-5c58-48da-be87-c27f6734f4f4",
	"849c2c32-71cd-4896-b8ae-040e905af481",
	0,
	"1eaa5c15-b346-46c0-a86b-96af8639b0a5",
	"b3c19c03-508a-49fd-8273-ce3541bb60a3",
	"4ca323fd-b3a7-49aa-b06b-41177aa127fa",
	"8058c499-2508-49cc-befe-075ec86e64bb",
	"2c1b0532-fbe2-4298-9ce3-7851b5773b33",
	"1dcb75f5-a8fe-4f86-ac9a-8bda697bfc90",
	"00000000-0000-0000-0000-000000000000",
	0,
	'',
	'Verification Step',
	'id',
	'R3');
INSERT INTO R_RGO_PROXY
	VALUES ("3211b8be-5c58-48da-be87-c27f6734f4f4",
	"b3c19c03-508a-49fd-8273-ce3541bb60a3",
	"4ca323fd-b3a7-49aa-b06b-41177aa127fa",
	'../Metamodel Verifier.xtuml');
INSERT INTO O_RTIDA_PROXY
	VALUES ("1eaa5c15-b346-46c0-a86b-96af8639b0a5",
	"849c2c32-71cd-4896-b8ae-040e905af481",
	0,
	"b3c19c03-508a-49fd-8273-ce3541bb60a3",
	"8058c499-2508-49cc-befe-075ec86e64bb",
	'../Metamodel Verifier.xtuml');
INSERT INTO O_RATTR
	VALUES ("2c1b0532-fbe2-4298-9ce3-7851b5773b33",
	"3211b8be-5c58-48da-be87-c27f6734f4f4",
	"1eaa5c15-b346-46c0-a86b-96af8639b0a5",
	"849c2c32-71cd-4896-b8ae-040e905af481",
	1,
	'id');
INSERT INTO O_BATTR_PROXY
	VALUES ("1eaa5c15-b346-46c0-a86b-96af8639b0a5",
	"849c2c32-71cd-4896-b8ae-040e905af481",
	'../Verification Step/Verification Step.xtuml');
INSERT INTO O_ATTR
	VALUES ("2c1b0532-fbe2-4298-9ce3-7851b5773b33",
	"3211b8be-5c58-48da-be87-c27f6734f4f4",
	"00000000-0000-0000-0000-000000000000",
	'id',
	'',
	'',
	'id',
	0,
	"ba5eda7a-def5-0000-0000-000000000002",
	'',
	'');
INSERT INTO O_ID
	VALUES (0,
	"3211b8be-5c58-48da-be87-c27f6734f4f4");
INSERT INTO O_OIDA
	VALUES ("2c1b0532-fbe2-4298-9ce3-7851b5773b33",
	"3211b8be-5c58-48da-be87-c27f6734f4f4",
	0,
	'id');
INSERT INTO O_ID
	VALUES (1,
	"3211b8be-5c58-48da-be87-c27f6734f4f4");
INSERT INTO O_ID
	VALUES (2,
	"3211b8be-5c58-48da-be87-c27f6734f4f4");
INSERT INTO PE_PE
	VALUES ("3211b8be-5c58-48da-be87-c27f6734f4f4",
	1,
	"3493cadf-8ef8-4a76-88ed-832a6b5722e0",
	"00000000-0000-0000-0000-000000000000",
	4);
INSERT INTO EP_PKG_PROXY
	VALUES ("3493cadf-8ef8-4a76-88ed-832a6b5722e0",
	"00000000-0000-0000-0000-000000000000",
	"e154dcf2-3f46-422f-8ae0-9fbab23e31a4",
	'Metamodel Verifier',
	'',
	0,
	'../Metamodel Verifier.xtuml');
